proof by recursion
英 [pruːf baɪ rɪˈkɜːʃn]
美 [pruːf baɪ rɪˈkɜːrʒn]
【计】递归证明
双语例句
- An elementary proof of the Diophantine equation ( The equation abbreviated) is given by using recursion sequence method.
运用递推序列法，给出组合数丢番图方程（方程式略）的一个初等解法。 - The Recursion Hash Method The proof of lemma and theorem are mainly by recursion.
引理和定理的证明主要用了递推和数学归纳法。